More from this Author

Ernst Denert Award for Software Engineering 2020

by Michael Felderer (Editor), Wilhelm Hasselbring (Editor), Heiko Koziolek (Editor), Florian Matthes (Editor), Lutz Prechelt (Editor), Ralf Reussner (Editor), Bernhard Rumpe (Editor), Ina Schaefer (Editor)

Trusted Cloud Computing

by Helmut Krcmar (Editor), Ralf Reussner, Bernhard Rumpe (Editor)

Trusted Cloud Computing

by Helmut Krcmar (Editor), Ralf Reussner (Editor), Bernhard Rumpe (Editor)

Behavioral Specifications of Businesses and Systems

by Haim Kilov (Editor), Bernhard Rumpe (Editor), Ian Simmonds (Editor)

Software Engineering and Formal Methods

by Domenico Bianculli (Editor), Radu Calinescu (Editor), Bernhard Rumpe (Editor)

Software Engineering and Formal Methods

by Radu Calinescu (Editor), Bernhard Rumpe (Editor)

Software Engineering and Formal Methods

by Radu Calinescu (Editor), Bernhard Rumpe (Editor)

Model-Based Engineering of Embedded Real-Time Systems

by Bernhard Schätz (Editor), Holger Giese (Editor), Gabor Karsai (Editor), Edward A. Lee (Editor), Bernhard Rumpe (Editor), Bernhard Schätz (Editor)

Globalizing Domain-Specific Languages

by Benoit Combemale (Editor), Betty H. C. Cheng (Editor), Robert B. France (Editor), Jean-Marc Jézéquel (Editor), Bernhard Rumpe (Editor)

Software Engineering and Formal Methods

by Domenico Bianculli (Editor), Radu Calinescu (Editor), Bernhard Rumpe (Editor)

Trusted Cloud Computing

by Helmut Krcmar (Editor), Ralf Reussner (Editor), Bernhard Rumpe (Editor)